algebraic specification
英 [ˌældʒɪˈbreɪɪk ˌspesɪfɪˈkeɪʃn]
美 [ˌældʒɪˈbreɪɪk ˌspesɪfɪˈkeɪʃn]
网络 代数规范; 代数规格说明; 代数规约; 合在一起称为; 代数规格
双语例句
- The paper describes the methods of the class-level testing for object-oriented software based on algebraic specification, and constructs a frame for semi-automatic testing frame.
本文研究了基于代数规格说明的面向对象类测试方法，构造了一个半自动化的测试框架。 - Design and implementation of an approach for mutation test applied to algebraic specification
基于代数式规范的变异测试方法的设计与实现 - Then the relation net is an algebra of the algebraic specification.
将关系网看作一个抽象数据类型，给出了其代数规范说明。 - Algebraic specification method of programming languages
程序设计语言的代数规格说明方法 - Algebraic specification of relation net
关系网的代数规范说明 - Our approach is to combine object-oriented paradigm with formal methods in software engineering, especially abstract data type theory, and algebraic specification of systems.
我们希望能够将面向对象的数据库系统与软件工程中的形式化方法，尤其是抽象数据类型、系统的代数规范等结合起来。 - Algebraic specification and its transformation system
代数规格说明及其转换系统 - An algebraic specification concept for modules in software engineering is introduced here.
本文介绍软件工程中模块的代数规范说明概念。 - Algebraic Specification and Its Transformation into PROLOG
代数规格说明语言ASL及到PROLOG的转换 - Algebraic specification and behaviour constraints of abstract object
代数规范与对象行为约束 - Structured algebraic specification of DFA model and its language
DFA模型及其语言的结构化代数规约 - The implementation of algebraic specification is a key for algebraic specification to support rapid prototype technology.
代数规范说明的实现是代数规范说明支持快速原型枝术的关键。 - Automata and their algebraic specification description
自动机及其代数规范描述 - Based on parameterized net classes, the thesis realizes the actualization of colored Petri nets by employing the notions of algebraic specification to enrich the theory of unifying Petri nets.
在参数化网络类的理论基础上，本文提出用代数规范理论实现CPN的实际参数表示，进一步完善了统一Petri网理论。 - The relationship between algebra of the algebraic specification and the relation net schemes is discussed. The relationship between the algebra of the algebraic specification and the place/ transition net is discussed too.
讨论了关系网在同态下的性质，以及代数规范说明的代数与关系网模式和位置/变迁网的关系。 - In this paper, we first described the late research situation of Object Oriented methodology and Algebraic specification and Temporal Logical in domestic and abroad, which shows the lack of the object formal semantics.
本文首先讨论了国内外有关面向对象方法学、代数规范、时态逻辑的研究现状，分析了对象形式化语义研究的不足。 - Algebraic Verification Method of Data Refinement in Formal Specification Language
形式规范语言数据求精过程的代数验证方法 - AAA, an algebraic specification language based on the abstract data type, is introduced first.
首先给出一种基于抽象数据类型的代数规格说明语言AAA； - It proposes a job shop scheduling problem with process relativity, defines the concept of process relativity. Then the mathematical description of operation relativity is given systematically from algebraic specification, Gantt chart expression and type conversion.
提出了一类考虑工序相关性的Jobshop调度问题，对工序相关性从代数描述、甘特图表示和类型转换等方面进行了较为系统的数学描述； - The supervisor of the author proposed a scheme for generating normal forms called GNF, which was based on algebraic specification.
本文作者的导师提出了一个基于代数规格说明的GNF方案，用于产生范式。